Process calculus

Results: 249



#Item
51Implicitly-Typed Deadlock-Free Process Calculus

Implicitly-Typed Deadlock-Free Process Calculus

Add to Reading List

Source URL: www.kb.ecei.tohoku.ac.jp

Language: English - Date: 2010-04-22 22:15:04
    52Genome Informatics 16(2): 215–Toward Integration of Systems Biology Formalism: The Gene Regulatory Networks Case

    Genome Informatics 16(2): 215–Toward Integration of Systems Biology Formalism: The Gene Regulatory Networks Case

    Add to Reading List

    Source URL: www.jsbi.org

    Language: English - Date: 2005-12-28 06:18:59
    53Wednesday, April 20, 2011 Registration: 8:00-9:00 • Registration opens

    Wednesday, April 20, 2011 Registration: 8:00-9:00 • Registration opens

    Add to Reading List

    Source URL: fsen.ir

    Language: English - Date: 2011-03-09 05:00:02
    54Implicitly-Typed Deadlock-Free Process Calculus

    Implicitly-Typed Deadlock-Free Process Calculus

    Add to Reading List

    Source URL: www.kb.ecei.tohoku.ac.jp

    Language: English - Date: 2010-03-15 02:28:28
      55Analysis of a Quantum Error Correcting Code using Quantum Process Calculus Timothy A. S. Davidson1 Simon J. Gay2 Rajagopal Nagarajan1 Ittoop Vergheese Puthoor2,3 Department of Computer Science, University of Warwick1

      Analysis of a Quantum Error Correcting Code using Quantum Process Calculus Timothy A. S. Davidson1 Simon J. Gay2 Rajagopal Nagarajan1 Ittoop Vergheese Puthoor2,3 Department of Computer Science, University of Warwick1

      Add to Reading List

      Source URL: www.cs.ru.nl

      Language: English - Date: 2011-11-04 05:01:44
        56Implicitly-Typed Deadlock-Free Process Calculus

        Implicitly-Typed Deadlock-Free Process Calculus

        Add to Reading List

        Source URL: www.kb.ecei.tohoku.ac.jp

        Language: English - Date: 2008-04-16 22:50:40
          57Implicitly-Typed Deadlock-Free Process Calculus

          Implicitly-Typed Deadlock-Free Process Calculus

          Add to Reading List

          Source URL: www.kb.ecei.tohoku.ac.jp

          Language: English - Date: 2010-03-15 02:28:28
            58Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

            Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

            Add to Reading List

            Source URL: ect.bell-labs.com

            Language: English - Date: 2010-12-15 21:39:09
            59Logical Methods in Computer Science Vol. 1 (1:, 22 pages www.lmcs-online.org Submitted Published

            Logical Methods in Computer Science Vol. 1 (1:, 22 pages www.lmcs-online.org Submitted Published

            Add to Reading List

            Source URL: ect.bell-labs.com

            Language: English - Date: 2010-12-15 21:37:28
            60Stochastic Differential Equations Lecture notes for courses given at Humboldt University Berlin and University of Heidelberg Markus Reiß

            Stochastic Differential Equations Lecture notes for courses given at Humboldt University Berlin and University of Heidelberg Markus Reiß

            Add to Reading List

            Source URL: math.uni-heidelberg.de

            Language: English - Date: 2007-02-12 06:05:10